Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
431	99 Biometric yet Privacy Protecting Person Authentication Gerrit Bleumer Add to Reading List Source URL: www.semper.org Language: English - Date: 2011-10-26 07:23:48 Symbol Constructible universe Linear temporal logic
432	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
433	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:37:58 Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic Model theory Mathematics
434	Comparing LTL Semantics for Runtime Verification Andreas Bauer1 , Martin Leucker2 , and Christian Schallhart2 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-03-20 22:03:52 Metalogic Linear temporal logic Model theory Interpretation Modal logic Function Entailment Logic Temporal logic Philosophical logic
435	Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws Henry DeYoung Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Model theory Privacy Semantics Philosophical logic Health Insurance Portability and Accountability Act Linear temporal logic First-order logic Modal logic Logic Privacy law Ethics
436	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic
437	Expressing Heap-shape Contracts in Linear Logic Frances Perry Limin Jia ∗ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 C++ C programming language Procedural programming languages Computability theory Theoretical computer science C++ classes Struct ALGOL 68 Logic programming Software engineering Computing Computer programming
438	Description of the thesis: Study of classes of regular cost functions. Denis Kuperberg 1 Brief Description The goal of the thesis was to study the recent theory of regular cost functions. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-14 07:49:08 Semigroup theory Theoretical computer science Category theory Applied mathematics Semiautomaton Monoid Regular language Syntactic monoid Linear temporal logic Formal languages Automata theory Mathematics
439	Evaluation of Time-Order Error Predictions from a Model of Global Psychophysics Ragnar Steingrimsson and R. Duncan Luce Institute for Mathematical Behavioral Science University of California, Irvine Ragnar Steingrimsson Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Psi Function Constructible universe Linear temporal logic Mathematics Logic Mathematical logic
440	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Model theory Semantics First-order logic Linear temporal logic Function Atomic formula Quantification Predicate Logic Mathematical logic Predicate logic

UPDATE